Safety Critical FPGA Design
نویسندگان
چکیده
منابع مشابه
Safety - Critical Systems Design
Introduction Embedded systems are like normal desktop systems in that they have functional requirements, that is, functions that the system is expected to perform, such as moving the robot arms. One of the ways embedded systems differ from desktop systems is that they also have significant quality of service (QoS) requirements as well. In real-time embedded systems, for example, timeliness and ...
متن کاملModelling Safety-Critical User Interface Design
We describe a method of assessing the implications for human error on user interface design of safety-critical systems. In previous work we have proposed taxonomy of influencing factors that contribute to error. In this paper, components of the taxonomy are combined into a mathematical and causal model for error, represented as a Bayesian Belief Net (BBN). The BBN quantifies error influences ar...
متن کاملCreative design in safety critical systems
Creative design in safety critical systems is a quite unexplored area of research. Historically, the design of tools, technologies and procedures in such domains has been advocated to engineers and human factors experts who interpreted the development of new concepts mainly as a problem solving activity. For example, one of the most popular methods for technological innovation, TRIZ (Theory of ...
متن کاملDesign patterns for safety-critical embedded systems
Over the last few years, embedded systems have been increasingly used in safetycritical applications where failure can have serious consequences. The design of these systems is a complex process, which is requiring the integration of common design methods both in hardware and software to fulfill functional and non-functional requirements for these safety-critical applications. Design patterns, ...
متن کاملWorkshop on Formal Design Of Safety Critical
After investigating the typical hardware structure of a safety critical embedded system, we classify the various heterogeneous components with respect to certain criterias (e.g. manufacturing technology like microelectronics, micromechanics, microoptics; material, energy or information flow; discrete or contineous). Depending on classification, different modelling techniques must be used on dif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The International Conference on Electrical Engineering
سال: 2014
ISSN: 2636-4441
DOI: 10.21608/iceeng.2014.30555